<?php

echo "Hello world!";
?>
